A methodology integrating formal and informal software development
نویسنده
چکیده
This paper presents a methodology integrating formal and informal soft ware development By distinguishing several dimensions and perspectives we structure the development process into stages and documents with di erent emphasis on formality Formality is only be required for documents which can be related through formal techniques to the system design
منابع مشابه
Formal or Informal, Practical or Impractical: Towards Integrating Formal Methods with Informal Practices in Software Engineering Education
Tw o conflicting schools of thought have been dominating software engineering education. One school stresses on the popular software development methodologies, but horror stories on poorly designed systems are not uncommon. The other school advocates formal methods, but most practitioners regard them as impractical. We recommend that we should bridge the gap between the formal and informal by b...
متن کاملAn MDA Approach Towards Integrating Formal and Informal Modeling Languages
The Model Driven Architecture (MDA) involves automated transformations between software models defined in different languages at different abstraction levels. This paper takes an MDA approach to integrate a formal modeling language (Object-Z) with an informal modeling language (UML) via model transformation. This paper shows how formal and informal modeling languages can be cooperatively used i...
متن کاملIntegrating structured OO approaches with formal techniques for the development of real-time systems
The use of formal methods in the development of time-critical applications is essential if we want to achieve a high level of assurance in them. However, these methods have not yet been widely accepted in industry as compared to the more established structured and informal techniques. A reliable linkage between these two techniques will provide the developer with a powerful tool for developing ...
متن کاملSafety - Critical System Development Methodology
The purpose of this work is to integrate verification techniques in real industrial development processes – from informal textual specification and analysis of requirements to a verified implementation. Therefore, we present methods necessary to bridge the gap from informal requirements towards formal specification and from there to executable implementation. We show which development steps are...
متن کاملFormalism and Informality in RE
Requirements Engineering lies at the meeting place between the formal and the informal in software development. Computer programs are effectively formal constructs, admitting treatment by mathematical methods based on type theory, preconditions and postconditions, and invariants. But the world of human beings and physical objects in which the requirements are located is informal, and can not be...
متن کامل